redirect stdout in python